Generic Expansions of Ordered Structures

نویسندگان

  • ALFRED DOLICH
  • CHRIS MILLER
  • CHARLES STEINHORN
چکیده

Let T be a complete first order theory in a language L satisfying uniform finiteness and let TP be the model companion of T in an expanded language LP with a new unary predicate P . We show that: TP satisfies uniform finiteness; if T is an expansion of the theory of dense linear order then every cut definable in a model M of TP is definable in M L; and, if T is an expansion of the theory dense linear order all of whose models have o-minimal open core then every open set definable in a model M of TP is definable in M L.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Structures Having O-minimal Open Core*

The open core of an expansion of a dense linear order is its reduct, in the sense of definability, generated by the collection of all of its open definable sets. In this paper, expansions of dense linear orders that have o-minimal open core are investigated, with emphasis on expansions of densely ordered groups. The first main result establishes conditions under which an expansion of a densely ...

متن کامل

On Constrained Generic Expansions and Structural Ramsey Theory

It is reasonably well-known in model theory that expansions of countable countablycategorical structures are closely associated with certain compactly metrizable spaces and, further, that a generic orbit in such a space – in the sense of Baire category – corresponds to an expansion with a particularly well-behaved model theory (relative to the base structure). Results of this kind can be found ...

متن کامل

A Simple Proof of the Marker-steinhorn Theorem for Expansions of Ordered Abelian Groups

We give a short and self-contained proof of the MarkerSteinhorn Theorem for o-minimal expansions of ordered groups, based on an analysis of linear orders definable in such structures.

متن کامل

On expansions of weakly o-minimal non-valuational structures by convex predicates

We prove that if M = (M,≤,+, . . .) is a weakly o-minimal non-valuational structure expanding an ordered group (M,≤,+), then its expansion by a family of ‘non-valuational’ unary predicates remains non-valuational. The paper is based on the author’s earlier work on strong cell decomposition for weakly o-minimal non-valuational expansions of ordered groups.

متن کامل

Canonicity and bi-approximation in non-classical logics

Non-classical logics, or variants of non-classical logics, have rapidly been developed together with the progress of computer science since the 20th century. Typically, we have found that many variants of non-classical logics are represented as ordered algebraic structures, more precisely as lattice expansions. From this point of view, we can think about the study of ordered algebraic structure...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009